%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Modelo de dissertação com texto corrido
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% Tipo de documento e a classe a ser usada para sua formatação.
\documentclass[diss]{UFRuralRJ}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Pacote para gerar bibliografia segundo NBR6023
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage[alf]{abntex2cite}

%%==============================================================================
%% Pacotes - língua, codificação e fonte
%%==============================================================================

\usepackage[brazilian]{babel} %% use 'english' ao invés de 'brazilian' para documento escrito em inglês
\usepackage[T1]{fontenc} %% Conjunto de caracteres correto
%\usepackage{times} %% Usar fonte Adobe Times Roman, equivalente à Times New Roman
\usepackage[utf8]{inputenc} %% Para acentuação correta

%%==============================================================================
%% Pacotes - formatação de equações e números
%%==============================================================================

\usepackage{amsmath,latexsym,amssymb}
\usepackage{siunitx}                  %% Sistema Internacional de Unidades

%%==============================================================================
%% Pacotes - formatação de figuras
%%==============================================================================

%% Importar figuras corretamente
\usepackage{graphicx}

%% Diretório onde estão as figuras dos capítulos
\graphicspath{{capitulos-a/figuras/}}

\usepackage{float}
\usepackage{wrapfig}

%%==============================================================================
%% Pacotes - formatação de hyperlinks
%%==============================================================================
%% Opção 'hidelinks' disponível no pacote 'hyperref' a partir da versão 
%% 2011-02-05  6.82a. 'hidelinks' retira os retângulos do entorno das palavras
%% com links.

\usepackage[%hidelinks%, 
           bookmarksopen = true, linktoc=page, colorlinks=true,
           linkcolor = blue, citecolor=blue, filecolor=magenta, urlcolor=blue,
           pdftitle = {Princípio de Hume: Possibilidade de uma Filosofia (Neo) Fregeana da Aritmética?},
           pdfauthor={Alessandro Bandeira Duarte},
           pdfsubject={Dissetação de Mestrado},
           pdfkeywords={LaTeX, UFRuralRJ, Documentos acadêmicos}
           ]{hyperref}

%% Pacote para lidar com url longa, deve ser carregado depois do pacote 'hyperref'
\usepackage[hyphenbreaks]{breakurl}

%% Definição das margens
% \usepackage[inner = 30mm, outer = 20mm, top = 30mm, bottom = 20mm]{geometry}

%% Se o pacote 'hyperref' acima foi carregado, a linha abaixo corrige um bug na 
%% hora de montar o sumário da lista de figuras e tabelas. Comente a linha se o
%% pacote 'hyperref' não foi carregado.
\input{macros/bugcaption}

%%==============================================================================
%% Pacotes - formatação da bibliografia de acordo com as normas da ABNT
%%==============================================================================
% O pacote 'abntex2cite' precisa, obrigatoriamente, ser carregado depois do 
% pacote 'hyperref'. Mais informações podem ser obtidas na página do pacote no
% GitHub: https://github.com/abntex/abntex2

\usepackage[alf]{abntex2cite}

%%==============================================================================
%% Pacotes - formatação de verbatim
%%==============================================================================
%% O ambiente verbatim é o ambiente onde são inseridos exemplos de código fonte.
%% Está opção adiciona cor de fundo ao ambiente verbatim.
%% Comente para desabilitar.

\let\oldv\verbatim
\let\oldendv\endverbatim
\def\verbatim{\par\setbox0\vbox\bgroup\oldv}
\def\endverbatim{\oldendv\egroup\fboxsep0pt 
                 \noindent\colorbox[gray]{0.8}{\usebox0}\par}

%%==============================================================================
%% Pacotes - outros
%%==============================================================================

\usepackage{blindtext}                %% Amostra de texto (\blindtext[1])
%\usepackage{fix-cm} %% Tamanho das fontes da capa (já é carregado pelo pacote)

%%==============================================================================
%% Identificação do trabalho
%%==============================================================================
\titulo{Princípio de Hume: Possibilidade de uma Filosofia (Neo) Fregeana da Aritmética?} %% Título em português
\author{Duarte}{Alessandro Bandeira} %% Autor: sobrenome, nome
\instituto{Instituto de Ciências Humanas e Sociais} %% Instituto
\curso{Curso de Pós-Graduação em Filosofia} %% Curso de pós-graduação
\area{Filosofia} %% Área de concentração
%\grau{Licenciado em Filosofia}
\local{Seropédica}{RJ}{Brasil} %% Local da defesa

%%==============================================================================
%% Identificação dos orientadores
%%==============================================================================

\advisor[Professor]{Dr.}{Dedekind}{Richard}{UFRRJ} %% Orientador
%\orientadoratrue %% Descomentar se for uma ORIENTADORA
%\coadvisor[Pesquisador]{Dr.}{Rural}{Melhor Co-orientador da} %% Co-orientador
%\coadvisor[Professora]{Dra.}{Rural}{Melhor Co-orientadora da} %% Co-orientadora
%\coorientadorestrue %% dois ou mais co-orientadores(as)

%%==============================================================================
%% Informações sobre a defesa
%%==============================================================================

% Ex.: \committee[Título]{Sobrenome}{Nome}{Instituição}
\committee[Dr.]{Dedekind}{Richard}{UFRRJ} %% Presidente
\committee[Dr.]{Frege}{Gottlob}{UFRRJ} %% Examinador
\committee[Dra.]{Maddy}{Peneloppy}{UFRGT} %% Examinador
%\committee[Dra.]{Banca}{Outra Melhor Integrante da}{MEFR} %% Examinador
%\committee[Dr.]{Banca}{Outro Melhor Integrante da}{MEFR} %% Examinador
\date{28}{02}{2016} %% Data da defesa

%%==============================================================================
%% Início do documento
%%==============================================================================
\begin{document}
%%==============================================================================
%% Capa e folha de rosto
%%==============================================================================
\maketitle

%%=============================================================================
% Folha de aprovação
%%=============================================================================
\makeapprove

%%=============================================================================
%% Dedicatória (opcional)
%%=============================================================================

%\clearpage\mbox{}\vfill\hspace{80mm}
%\begin{minipage}{76mm}
%  \begin{flushright}
%    {\em
%    Àqueles que financiaram meus estudos...
%    \par
%    ...DEDICO!
%    }
%  \end{flushright}
%\end{minipage}

%%=============================================================================
%% Agradecimentos (opcional)
%%=============================================================================

\chapter*{Agradecimentos}

\noindent Agradeço à minha família que me apoiou em todos os momentos difíceis;\\ 
à Eleonora, pela paciência e carinho; \\
a Stefano Stival, Michael Pontes e Luciano da Silva pelas nossas conversas 
informais que edificaram muitas idéias; \\
a Flávio Esteves, por sua grande amizade; \\
ao meu grande amigo José Rubens que mesmo distante sempre teve uma palavra amiga; \\
aos Profs. Drs. Luiz Carlos P. D. Pereira e Danilo Marcondes de Souza Filho que
se dispuseram a participar da Banca Examinadora; \\
ao Prof. Dr. Marco Ruffino, pela sua amizade; \\
aos Profs. Drs. Richard Heck, Christian Thiel e Gottfried Gabriel pela 
colaboração e atenção sobre a tradução da carta de Frege a Russell (28/7/1902); \\
finalmente, ao meu orientador Prof. Dr. Oswaldo Chateaubriand pela sua pela 
orientação e paciência.

%%=============================================================================
%% Biografia (opcional)
%%=============================================================================

%\chapter*{Biografia}
%O autor nasceu, cresceu e escreveu uma tese.

%%=============================================================================
%% Epígrafe (opcional)
%%=============================================================================

\clearpage\mbox{}\vfill\hspace{80mm}\begin{minipage}{76mm}\begin{flushright}{\em
``Fazer é a melhor forma de dizer.''
\par
Autor desconhecido
}\end{flushright}\end{minipage}

%%==============================================================================
%% Resumo geral (português)
%%==============================================================================
\def\tituloPT{Princípio de Hume: Possibilidade de uma Filosofia (Neo) Fregeana da Aritmética?}
\def\chavesPT{Frege. Princípios de Abstração. Princípio de Hume} %% Palavras-chave em português
\def\nivelPT{Mestrado em Filosofia}

%\generalabstracttrue
\begin{generalabstract}{brazilian}{\tituloPT}{\chavesPT}{\nivelPT} %% Resumo geral em português
  A dissertação apresenta e discute as idéias desenvolvidas por Crispin Wright 
  no livro \textit{Frege’s Conception of Numbers as Objects} (1983), em 
  particular, a tese segundo a qual a aritmética é analítica. Wright deposita 
  toda sua força argumentativa (em relação à analiticidade da aritmética) na 
  derivação dos axiomas da aritmética de segunda ordem de Dedekind-Peano a 
  partir do Princípio de Hume. Assim, é nosso principal objetivo apresentar e 
  discutir em que medida o Princípio de Hume é capaz de fornecer, segundo 
  Wright, um relato da analiticidade da aritmética, assim como, as objeções a 
  esse relato.
\end{generalabstract}

%%==============================================================================
%% General abstract (inglês)
%%==============================================================================
\def\tituloEN{Hume's Principle: Possibility of a (Neo) Fregean Philosophy of Arithmetic?} %% Título em inglês
\def\chavesEN{Frege. Abstraction Principles. Hume's Principle} %% Palavras-chave em inglês
\def\nivelEN{Master of Philosophy}

%\generalabstracttrue
\begin{generalabstract}{english}{\tituloEN}{\chavesEN}{\nivelEN} %% Resumo geral em inglês
  The dissertation presents and discusses the ideas developed by Crispin Wright
  in his book \textit{Frege's Conception of Numbers as Objects} (1983), in 
  particular his thesis that arithmetic is analytic. Wright concentrates all 
  his argumentative efforts (in relation to the analyticity of arithmetic) on 
  the derivation of the axioms of Dedekind-Peano's second order arithmetic from
  Hume's Principle. Thus, it is our main goal to present and discuss how Hume's 
  Principle provides, according to Wright, an explanation of the analytic 
  character of arithmetic as well as some objections to this account.
\end{generalabstract}

%%=============================================================================
%% Listas (comentar se não houver) e sumário
%%=============================================================================

%\listoffigures %% Lista de figuras
%\listoftables %% Lista de tabelas
%\listofappendix %% Lista de apêndices
%\listofannex %% Lista de anexos

%\begin{listofabbrv}{UbiComp} %% Lista de abreviaturas e siglas
% \item [RJ] Rio de Janeiro
% \item [UFRuralRJ] Universidade Federal Rural do Rio de Janeiro
%\end{listofabbrv}

%\begin{listofsymbols}{teste} %% Lista de simbolos
% \item [$\varnothing$] vazio %% Simbolos devem aparecer conforme a ordem em que aparecem no texto
% \item [$\Gamma$]  Gama      %% O parâmetro deve ser o símbolo mais longo
% \item [$\forall$] Para todo
%\end{listofsymbols}

\tableofcontents %% Sumário

%%=============================================================================
%% Início da tese
%%=============================================================================

\include{capitulos-a/chapter00} %% Incluir capítulo 00
\include{capitulos-a/chapter01} %% Incluir capítulo 01
\include{capitulos-a/chapter02} %% Incluir capítulo 02

%%=============================================================================
%% Referências
%%=============================================================================
%% O arquivo 'biblio' com as referências bibliográficas deve estar no formato
%% BibTeX.
\bibliography{referencias-a/biblio}

%%=============================================================================
%% Apêndices
%%=============================================================================
%% IMPORTANTE:
%% O Manual da UFRRJ não prevê a inclusão de apêndices, mas apenas anexos. O 
%% problema disso é que apêndices e anexos são completamente diferentes. 
%% O anexo pode constituir de qualquer material, não necessariamente de sua 
%% autoria ou fundamental para o entendimento do seu documento como um todo, 
%% ao contrário do apêndice.
%% NOTA:
%% Caso seja necessário inserir seção ou subseção dentro do apêndice, use o
%% comando \tocless para não adicioná-los no Sumário.
%% Exemplo: \tocless\section{Histórico}

\appendix %% Apêndices
\include{capitulos-a/apendicea} %% Incluir apêndice A
% \include{capitulos-a/apendiceb} %% Incluir apêndice B

%\annex %% Anexos
%\include{capitulos-a/anexoa} %% Incluir anexo A
\end{document}
